automated reasoning

automated reasoning
автоматизация формулирования логических выводов

Англо-русский словарь по авиации. 2013.

Игры ⚽ Поможем написать реферат

Смотреть что такое "automated reasoning" в других словарях:

  • Automated reasoning — is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically. Although automated… …   Wikipedia

  • Mathematics Mechanization and Automated Reasoning Platform — Original author(s) 中国科学院数学机械化重点实验室 Developer(s) 中國 国家基础研究发展规划项目 数学机械化与自动推理平台 软件开发课题组 Stable release 3.0 / April 1, 2006; 5 years ago (2006 04 01) …   Wikipedia

  • International Conference on Automated Reasoning with Analytic Tableaux and Related Methods — The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) is an annual international academic conference that deals with all aspects of automated reasoning with analytic tableaux. Periodically, it… …   Wikipedia

  • Association for Automated Reasoning — The Association for Automated Reasoning (AAR) is a non profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning, and related fields. It organizes the CADE and IJCAR conferences and… …   Wikipedia

  • Handbook of Automated Reasoning — The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published on June 2001 by MIT Press, it is edited by John Alan Robinson and Andrei Voronkov. Volume 1… …   Wikipedia

  • International Joint Conference on Automated Reasoning — IJCAR is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place …   Wikipedia

  • Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

  • Reasoning — is the cognitive process of looking for reasons for beliefs, conclusions, actions or feelings. [ Kirwin, Christopher. 1995. Reasoning . In Ted Honderich (ed.), The Oxford Companion to Philosophy . Oxford: Oxford University Press: p. 748] Humans… …   Wikipedia

  • reasoning — Any process of drawing a conclusion from a set of premises may be called a process of reasoning. If the conclusion concerns what to do, the process is called practical reasoning, otherwise pure or theoretical reasoning. Evidently such processes… …   Philosophy dictionary

  • Automated Valuation Model — (AVM) is the name given to a service that can provide property valuations using mathematical modelling combined with a database. Most AVMs calculate a property’s value at a specific point in time by analysing values of comparable properties. As… …   Wikipedia

  • automated machine-controlled machine-driven — Automatic Au to*mat ic, Automatical Au to*mat ic*al, a. [Cf. F. automatique. See {Automaton}.] 1. Having an inherent power of action or motion. [1913 Webster] Nothing can be said to be automatic. Sir H. Davy. [1913 Webster] 2. Pertaining to, or… …   The Collaborative International Dictionary of English


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»